10. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
11. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
12. Coditional inference and logic for interlligent systems: a theory of measure-free conditioning
پدیدآورنده : I.R. Goodman, H.T. Nguyen and E.A. Walker
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Expert systems (Computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95G67
1991
13. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
14. Conditional logic in expert systems
پدیدآورنده : edited by I.R. Goodman ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95
C66
1991
15. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع : Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining
رده :
QA76
.
76
.
E95
C8
2017
16. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
17. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
18. From natural language processing to logic for expert systems
پدیدآورنده : / editor Andre Thayse authors Jean -Louis Binot.. [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Natural language prodceeing (Computer science),Expert systems -- (Computer science),Logic, Symbolic and mathematical,Artificial intelligence
رده :
QA
76
.
9
.
N38F76
1991